Andrei Voronkov: tražiti na sajtu Z-Library

Prikupljanje sredstava 15. septembra 2024 – 1. oktobra 2024 O prikupljanju novca

Slobodan pristup znanju i kulturi.

Prikupljanje sredstava 15. septembra 2024 – 1. oktobra 2024

Z-Library je jednja od najvećih online biblioteka koja sadrži više od 17,000,000 knjiga i 84,837,000 članaka. Naš je cilj da literatura bude dostupna svakome. Danas (15. septembra 2024) smo započeli dodatno prikupljanje sredstava za podršku i razvoj projekta.

Takođe NEOGRANIČENA preuzimanja (na 31 dan od dana doniranja) biće dostupna SVIM korisnicima ko je fonirao tokom perioda prikupljanja sredstava do 1. oktobra 2024.

O prikupljanju novcaDetaljnije

Knjige (58)
Najpopularnije
Spisak
- Spisak
- Tabela

1

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Springer-Verlag Berlin Heidelberg

Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov (eds.)

Godina:

2015

Jezik:

english

Fajl:

PDF, 22.02 MB

0 / 0

english, 2015

2

Classical Type Theory, Chapter 15 of Handbook of Automated Reasoning

Classical Type Theory, Chapter 15 of Handbook of Automated Reasoning

Alan Robinson and Andrei Voronkov

Godina:

2001

Jezik:

english

Fajl:

PDF, 422 KB

0 / 0

english, 2001

3

Logic for programming and automated reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999: proceedings

Logic for programming and automated reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999: proceedings

Harald Ganzinger, David McAllester, Andrei Voronkov

Godina:

1999

Jezik:

english

Fajl:

PDF, 21.68 MB

0 / 0

english, 1999

4

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Johann A. Makowsky (auth.), Nachum Dershowitz, Andrei Voronkov (eds.)

Godina:

2007

Jezik:

english

Fajl:

PDF, 5.33 MB

0 / 0

english, 2007

5

Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Aceto, Dario Della Monica (auth.), Ken McMillan, Aart Middeldorp, Andrei Voronkov (eds.)

Godina:

2013

Jezik:

english

Fajl:

PDF, 11.60 MB

0 / 0

english, 2013

6

Computer Science – Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings

Computer Science – Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Yuri Gurevich (auth.), Volker Diekert, Mikhail V. Volkov, Andrei Voronkov (eds.)

Godina:

2007

Jezik:

english

Fajl:

PDF, 7.47 MB

0 / 0

english, 2007

7

Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers ... Computer Science and General Issues)

Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers ... Computer Science and General Issues)

Andrei Voronkov, Irina Virbitskaite

Godina:

2007

Jezik:

english

Fajl:

PDF, 6.90 MB

0 / 0

english, 2007

8

Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

Michel Parigot, Andrei Voronkov

Godina:

2000

Jezik:

english

Fajl:

PDF, 5.03 MB

0 / 0

english, 2000

9

Programming Logics: Essays in Memory of Harald Ganzinger

Programming Logics: Essays in Memory of Harald Ganzinger

Andrei Voronkov, Christoph Weidenbach

Godina:

2013

Jezik:

english

Fajl:

PDF, 5.19 MB

0 / 0

english, 2013

10

Transactions and Change in Logic Databases: International Seminar on Logic Databases and the Meaning of Change Schloss Dagstuhl, Germany, September 23–27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Dedu

Transactions and Change in Logic Databases: International Seminar on Logic Databases and the Meaning of Change Schloss Dagstuhl, Germany, September 23–27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Dedu

Springer-Verlag Berlin Heidelberg

Anthony J. Bonner, Michael Kifer (auth.), Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov (eds.)

Godina:

1998

Jezik:

english

Fajl:

DJVU, 6.66 MB

0 / 0

english, 1998

11

Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006,

Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006,

Miki Hermann, Andrei Voronkov

Godina:

2006

Jezik:

english

Fajl:

PDF, 6.96 MB

0 / 0

english, 2006

12

Automated deduction-CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings

Automated deduction-CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings

Andreĭ Voronkov

Godina:

2002

Jezik:

english

Fajl:

PDF, 4.18 MB

0 / 0

english, 2002

13

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Matthias Baaz, Alexander Leitsch (auth.), Franz Baader, Andrei Voronkov (eds.)

Godina:

2005

Jezik:

english

Fajl:

PDF, 4.55 MB

0 / 0

english, 2005

14

Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Frédéric Blanqui, Jean-Pierre Jouannaud (auth.), Miki Hermann, Andrei Voronkov (eds.)

Godina:

2006

Jezik:

english

Fajl:

PDF, 6.22 MB

0 / 0

english, 2006

15

Automated Deduction—CADE-18: 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings

Automated Deduction—CADE-18: 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Ian Horrocks (auth.), Andrei Voronkov (eds.)

Godina:

2002

Jezik:

english

Fajl:

PDF, 5.44 MB

0 / 0

english, 2002

16

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Franz Baader, Andrei Voronkov

Godina:

2005

Jezik:

english

Fajl:

PDF, 5.17 MB

0 / 0

english, 2005

17

Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers

Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers

Springer-Verlag Berlin Heidelberg

Eike Best, Javier Esparza, Harro Wimmel, Karsten Wolf (auth.), Irina Virbitskaite, Andrei Voronkov (eds.)

Godina:

2007

Jezik:

english

Fajl:

PDF, 5.87 MB

0 / 0

english, 2007

18

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)

Godina:

2010

Jezik:

english

Fajl:

PDF, 6.95 MB

0 / 0

english, 2010

19

Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings

Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

Hassan Aït-Kaci, Andreas Podelski (auth.), Andrei Voronkov (eds.)

Godina:

1993

Jezik:

english

Fajl:

DJVU, 4.02 MB

0 / 0

english, 1993

20

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Alan Bundy, Julian Richardson (auth.), Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)

Godina:

1999

Jezik:

english

Fajl:

DJVU, 3.65 MB

0 / 0

english, 1999

21

Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Allen Van Gelder (auth.), Geoff Sutcliffe, Andrei Voronkov (eds.)

Godina:

2005

Jezik:

english

Fajl:

PDF, 7.14 MB

0 / 0

english, 2005

22

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Alan Bundy, Julian Richardson (auth.), Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)

Godina:

1999

Jezik:

english

Fajl:

PDF, 12.61 MB

0 / 0

english, 1999

23

Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Andrei Voronkov, Irina Virbitskaite (eds.)

Godina:

2015

Jezik:

english

Fajl:

PDF, 16.61 MB

0 / 0

english, 2015

24

Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Krishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Fermüller, Andrei Voronkov (eds.)

Godina:

2010

Jezik:

english

Fajl:

PDF, 7.38 MB

0 / 5.0

english, 2010

25

Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

Springer International Publishing

Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov

Godina:

2019

Jezik:

english

Fajl:

PDF, 17.03 MB

0 / 0

english, 2019

26

Extensions of Logic Programming: 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings

Extensions of Logic Programming: 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Martin Argenius, Andrei Voronkov (auth.), Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister (eds.)

Godina:

1996

Jezik:

english

Fajl:

DJVU, 2.75 MB

0 / 0

english, 1996

27

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)

Godina:

2010

Jezik:

english

Fajl:

PDF, 6.95 MB

0 / 0

english, 2010

28

LNCS 7797 - Programming Logics

LNCS 7797 - Programming Logics

Andrei Voronkov & Christoph Weidenbach (eds.)

Godina:

2013

Jezik:

spanish

Fajl:

PDF, 5.07 MB

0 / 0

spanish, 2013

29

LNCS 7797 - Programming Logics

LNCS 7797 - Programming Logics

Andrei Voronkov & Christoph Weidenbach (eds.)

Godina:

2013

Jezik:

spanish

Fajl:

EPUB, 1.40 MB

0 / 0

spanish, 2013

30

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)

Godina:

2010

Jezik:

english

Fajl:

PDF, 8.44 MB

0 / 5.0

english, 2010

31

LNCS 7797 - Programming Logics

LNCS 7797 - Programming Logics

Andrei Voronkov & Christoph Weidenbach (eds.)

Godina:

2013

Jezik:

spanish

Fajl:

AZW3 , 2.01 MB

0 / 0

spanish, 2013

32

LNCS 7797 - Programming Logics

LNCS 7797 - Programming Logics

Andrei Voronkov & Christoph Weidenbach (eds.)

Godina:

2013

Jezik:

spanish

Fajl:

MOBI , 1.78 MB

0 / 0

spanish, 2013

33

LNCS 7797 - Programming Logics

LNCS 7797 - Programming Logics

Andrei Voronkov & Christoph Weidenbach (eds.)

Godina:

2013

Jezik:

spanish

Fajl:

FB2 , 3.00 MB

0 / 0

spanish, 2013

34

LNCS 7797 - Programming Logics

LNCS 7797 - Programming Logics

Andrei Voronkov & Christoph Weidenbach (eds.)

Godina:

2013

Fajl:

LIT , 1.37 MB

0 / 0

2013

35

Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

Edmund M. Clarke, Andrei Voronkov

Godina:

2011

Jezik:

english

Fajl:

PDF, 6.40 MB

0 / 0

english, 2011

36

Programming Logics: Essays in Memory of Harald Ganzinger

Programming Logics: Essays in Memory of Harald Ganzinger

Springer-Verlag Berlin Heidelberg

Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov (auth.), Andrei Voronkov, Christoph Weidenbach (eds.)

Godina:

2013

Jezik:

english

Fajl:

PDF, 4.83 MB

0 / 0

english, 2013

37

Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Ian Hodkinson, Frank Wolter, Michael Zakharyaschev (auth.), Robert Nieuwenhuis, Andrei Voronkov (eds.)

Godina:

2001

Jezik:

english

Fajl:

PDF, 6.72 MB

0 / 0

english, 2001

38

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Elvira Albert, Puri Arenas, Samir Genaim (auth.), Nikolaj Bjørner, Andrei Voronkov (eds.)

Godina:

2012

Jezik:

english

Fajl:

PDF, 5.27 MB

0 / 0

english, 2012

39

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Geoff Sutcliffe (auth.), Edmund M. Clarke, Andrei Voronkov (eds.)

Godina:

2010

Jezik:

english

Fajl:

PDF, 5.38 MB

0 / 0

english, 2010

40

Advances in Artificial Intelligence: 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, Puebla, Mexico, November 26 - December 4, 2011, Proceedings, Part I

Advances in Artificial Intelligence: 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, Puebla, Mexico, November 26 - December 4, 2011, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Kryštof Hoder, Laura Kovács, Andrei Voronkov (auth.), Ildar Batyrshin, Grigori Sidorov (eds.)

Godina:

2011

Jezik:

english

Fajl:

PDF, 12.49 MB

0 / 0

english, 2011

41

Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Franz Baader, Jan Hladik, Carsten Lutz (auth.), Moshe Y. Vardi, Andrei Voronkov (eds.)

Godina:

2003

Jezik:

english

Fajl:

PDF, 4.08 MB

0 / 0

english, 2003

42

Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Krishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Fermüller, Andrei Voronkov (eds.)

Godina:

2010

Jezik:

english

Fajl:

PDF, 6.94 MB

0 / 0

english, 2010

43

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

M. Alpuente, S. Escobar, B. Gramlich (auth.), Matthias Baaz, Andrei Voronkov (eds.)

Godina:

2002

Jezik:

english

Fajl:

PDF, 4.79 MB

0 / 0

english, 2002

44

Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Springer International Publishing

Alexander K. Petrenko, Andrei Voronkov (eds.)

Godina:

2018

Jezik:

english

Fajl:

PDF, 22.74 MB

0 / 0

english, 2018

45

Advances in Artificial Intelligence: 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, Puebla, Mexico, November 26 - December 4, 2011, Proceedings, Part I

Advances in Artificial Intelligence: 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, Puebla, Mexico, November 26 - December 4, 2011, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Kryštof Hoder, Laura Kovács, Andrei Voronkov (auth.), Ildar Batyrshin, Grigori Sidorov (eds.)

Godina:

2011

Jezik:

english

Fajl:

PDF, 11.54 MB

0 / 0

english, 2011

46

Logic Programming and Automated Reasoning: International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings

Logic Programming and Automated Reasoning: International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Halina Przymusinska, Teodor Przymusinski (auth.), Andrei Voronkov (eds.)

Godina:

1992

Jezik:

english

Fajl:

DJVU, 6.42 MB

0 / 0

english, 1992

47

Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005,

Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005,

Geoff Sutcliffe, Andrei Voronkov

Godina:

2005

Jezik:

english

Fajl:

PDF, 6.52 MB

0 / 0

english, 2005

48

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Joao Marques-Silva, Inês Lynce, Vasco Manquinho (auth.), Iliano Cervesato, Helmut Veith, Andrei Voronkov (eds.)

Godina:

2008

Jezik:

english

Fajl:

PDF, 9.43 MB

0 / 0

english, 2008

49

Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

Springer International Publishing

Manuel Mazzara, Andrei Voronkov (eds.)

Godina:

2016

Jezik:

english

Fajl:

PDF, 12.78 MB

0 / 0

english, 2016

50

Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers

Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Eike Best, Philippe Darondeau (auth.), Edmund Clarke, Irina Virbitskaite, Andrei Voronkov (eds.)

Godina:

2012

Jezik:

english

Fajl:

PDF, 5.51 MB

0 / 0

english, 2012